Lean production et modèles de valeur

Transformation et vérification de cohérence entre modèles du Génie Logiciel et modèles de l'Interface Homme-Machine

Within the framework of collaborative design, it is necessary that specialists of any domain can automatically manage links between different models that are semantically close. Based on a concrete transformation example from a use case diagram (Software Engineering) to a task tree (HCI), languages proposed by model driven engineering (MDE) are evaluated. Our goal is to find an adequate languag...

Physique Et Modèles De Dispositifs Photovoltaïques Plastiques

Cette thèse discute le fonctionnement et les mécanismes mis en oeuvre dans les cellules solaires en plastique, composées de différents donneurs et accepteurs et dont l'architecture est décrite par hétérojonction/volume‐hétérojonction. Une attention particulière a été portée à l'étude les conditions nécessaires pour la fabrication de cellules solaires à fort rendement, ceci de manière à aider au...

Enrichissement sémantique de méta-modèles XML et UML pour une transformation bidirectionnelle de modèles

RÉSUMÉ. XML est devenu depuis la fin des années 90 le standard pour échanger et envoyer de l’information sur Internet. Le W3C a ensuite préconisé l’utilisation de XML Schema pour définir la structure des documents XML. A ce jour, la modélisation graphique de modèles XML Schema n’est pas standardisée. L’introduction d’un formalisme de définition de modèles est un moyen de rendre la modélisation ...

Une architecture pour les transformations de modèles et la restructuration de modèles uml

Model engineering attempts to solve how we can evolve complex softwaresystems. Indeed, those systems must follow the evolution of new requirementsand technologies, and this evolution is faster and faster compared to thebusiness domain evolution. We thus propose to reuse the domain expertiseindependantly of any underlying technology, through model transformationtechniques. Th...

Valeur pratique comparée des réactions d'agglutination, de conglutination directe, d'hémagglutination polyosidique et protéinique pour le diagnostic de la peste